41. Artificial intelligence XXXV :
پدیدآورنده : Max Bramer, Miltos Petridis (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computer networking & communications.,Computers-- Data Processing.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Computers-- Programming-- Algorithms.,Information technology: general issues.,Network hardware.
رده :
Q334
42. Artificial life and evolutionary computation :
پدیدآورنده : edited by Marcello Pelillo, Irene Poli, Andrea Roli, Roberto Serra, Debora Slanzi, Marco Villani.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Evolutionary computation, Congresses.,Self-organizing systems, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial life.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Evolutionary computation.,Mathematical theory of computation.,Mathematics-- Logic.,Self-organizing systems.
رده :
Q325
.
W58
2017
43. Artificial neural networks and machine learning -- ICANN 2018 :
پدیدآورنده : Věra Kůrková, Yannis Manolopoulos, Barbara Hammer, Lazaros Iliadis, Ilias Maglogiannis (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Neural networks (Computer science), Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Computer Systems Organization and Communication Networks.,Image Processing and Computer Vision.,Information Systems and Communication Service.,Systems and Data Security.,Algorithms & data structures.,Artificial intelligence.,Computer networking & communications.,Computer security.,Computers-- Computer Graphics.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Computers-- Programming-- Algorithms.,Computers-- Security-- General.,Image processing.,Neural networks (Computer science)
رده :
QA76
.
87
44. Automata, languages and programming :
پدیدآورنده : J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
45. Beyond databases, architectures and structures :
پدیدآورنده : Stanisław Kozielski, Dariusz Mrozek, Paweł Kasprowski, Bożena Małysiak-Mrozek, Daniel Kostrzewa (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Data mining, Congresses.,Database management, Congresses.,Databases, Congresses.,Data mining.,Database management.,Databases.
رده :
QA76
.
9
.
D343
46. Bio-inspired computing :
پدیدآورنده : Jianyong Qiao, Xinchao Zhao, Linqiang Pan, Xingquan Zuo, Xingyi Zhang, Qingfu Zhang, Shanguo Huang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Natural computation, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Natural computation.,Network hardware.
رده :
Q335
47. CONPAR 81 :
پدیدآورنده : edited by Wolfgang Händler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique)
48. Cloud Computing and Security :
پدیدآورنده : Xingming Sun, Zhaoqing Pan, Elisa Bertino (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Cloud computing-- Security measures, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computer security.,Computer security.,Computers-- Information Technology.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Information retrieval.
رده :
QA76
.
76
.
A65
49. Combinatorial Algorithms
پدیدآورنده : \ Zsuzsanna Lipták, William F. Smyth (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Combinatorial analysis -- Congresses.,Computer algorithms -- Congresses,آنالیز ترکیبی -- کنگرهها,الگوریتمهای کامپیوتری -- کنگرهها
رده :
QA
164
.
I58
C6
2016
E-Book
,
50. Combinatorial algorithms :
پدیدآورنده : edited by Ljiljana Brankovic, Joe Ryan, William F. Smyth.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Combinatorial analysis, Congresses.,Computer algorithms, Congresses.,Algorithms & data structures.,Algorithms.,Artificial intelligence.,Artificial intelligence.,Computer science-- Mathematics.,Computer science.,Computer security.,Computer security.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Security-- General.,Data structures (Computer science),Discrete mathematics.,Mathematical theory of computation.,Numerical analysis.
رده :
QA76
.
9
.
M35
51. Combinatorial algorithms :
پدیدآورنده : Costas S. Iliopoulos, William F. Smyth (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Combinatorial analysis-- Data processing, Congresses,Computational complexity, Congresses,Computer algorithms, Congresses
رده :
QA164
.
I58
2011
52. Communicating process architectures 2009 :
پدیدآورنده : edited by Peter H. Welch [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer architecture, Congresses.,occam (Computer program language), Congresses.,Parallel processing (Electronic computers), Congresses.,Transputers, Congresses.,Computer architecture.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,occam (Computer program language),Parallel processing (Electronic computers),Transputers.
رده :
QA76
.
58
.
W58
2009
53. Computational geometry, graphs and applications :
پدیدآورنده : Jin Akiyama [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational grids (Computer systems), Congresses,Data structures (Computer science), Congresses
رده :
QA76
.
9
.
C58
C45
2011eb
54. Computational intelligence and intelligent systems :
پدیدآورنده : Kangshun Li, Wei Li, Zhangxing Chen, Yong Liu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational intelligence, Congresses.,Expert systems (Computer science), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computational intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Data mining.,Expert systems (Computer science),Network hardware.
رده :
Q342
55. Computational intelligence and its applications :
پدیدآورنده : edited by Abdelmalek Amine, Malek Mouhoub, Otmane Ait Mohamed, Bachir Djebbar.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational intelligence, Congresses.,Computer science, Congresses.,Algorithms & data structures.,Algorithms.,Application software.,Artificial intelligence.,Artificial intelligence.,Computational intelligence.,Computer networks.,Computer science.,Computers-- Data Processing.,Computers-- Database Management-- Data Mining.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Data mining.,Data mining.,Information technology: general issues.,Network hardware.
رده :
QA75
.
5
.
I45
2018
56. Computational intelligence in music, sound, art and design :
پدیدآورنده : Antonios Liapis, Juan Jesús Romero Cardalda, Anikó Ekárt (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer art, Congresses.,Computer music, Congresses.,Evolutionary programming (Computer science), Congresses.,Natural computation, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer art.,Computer music.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- User Interfaces.,Evolutionary programming (Computer science),Graphics programming.,Natural computation.,User interface design & usability.
رده :
QA76
.
618
57. Computational logistics :
پدیدآورنده : Raffaele Cerulli, Andrea Raiconi, Stefan Voß (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Business logistics-- Data processing, Congresses.,Information technology, Congresses.,Algorithm Analysis and Problem Complexity.,Computer Systems Organization and Communication Networks.,Numeric Computing.,Algorithms & data structures.,Business logistics-- Data processing.,Computer networking & communications.,Computers-- Hardware-- General.,Computers-- Programming-- Algorithms.,Information technology.,Mathematical theory of computation.
رده :
HD38
.
5
58. Computational pathology and ophthalmic medical image analysis :
پدیدآورنده : Danail Stoyanov, Zeike Taylor, Francesco Ciompi, Yanwu Xu et al. (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Eye-- Imaging, Congresses.,Pathology-- Data processing, Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Image Processing and Computer Vision.,Pattern Recognition.,Probability and Statistics in Computer Science.,Algorithms & data structures.,Artificial intelligence.,Computers-- Computer Graphics.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Mathematical & Statistical Software.,Image processing.,Maths for computer scientists.,Pathology-- Data processing.,Pattern recognition.
رده :
RB38
59. Computer Aided Verification :
پدیدآورنده : Isil Dillig, Serdar Tasiran (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
رده :
QA76
.
758
.
C38
2019